全文获取类型
收费全文 | 84641篇 |
免费 | 10335篇 |
国内免费 | 7691篇 |
学科分类
工业技术 | 102667篇 |
出版年
2024年 | 281篇 |
2023年 | 1282篇 |
2022年 | 3334篇 |
2021年 | 4192篇 |
2020年 | 2891篇 |
2019年 | 2064篇 |
2018年 | 2229篇 |
2017年 | 2460篇 |
2016年 | 2209篇 |
2015年 | 3631篇 |
2014年 | 4569篇 |
2013年 | 5562篇 |
2012年 | 7035篇 |
2011年 | 7624篇 |
2010年 | 7269篇 |
2009年 | 6960篇 |
2008年 | 6984篇 |
2007年 | 7108篇 |
2006年 | 6159篇 |
2005年 | 5038篇 |
2004年 | 3775篇 |
2003年 | 2346篇 |
2002年 | 2223篇 |
2001年 | 1983篇 |
2000年 | 1600篇 |
1999年 | 621篇 |
1998年 | 226篇 |
1997年 | 172篇 |
1996年 | 120篇 |
1995年 | 93篇 |
1994年 | 94篇 |
1993年 | 97篇 |
1992年 | 54篇 |
1991年 | 51篇 |
1990年 | 47篇 |
1989年 | 52篇 |
1988年 | 26篇 |
1987年 | 28篇 |
1986年 | 19篇 |
1985年 | 14篇 |
1984年 | 11篇 |
1983年 | 11篇 |
1981年 | 13篇 |
1980年 | 22篇 |
1979年 | 15篇 |
1977年 | 12篇 |
1976年 | 24篇 |
1963年 | 2篇 |
1959年 | 14篇 |
1951年 | 15篇 |
排序方式: 共有10000条查询结果,搜索用时 15 毫秒
991.
992.
形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于 Promela 语言,将 P .Maggi 和 R .Sisto 提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型,枚举法和打表法同时被运用在求解攻击者模型需要表示的知识项过程中,提高了协议建模效率,保证了建模准确性。以Woo-Lam 协议为例,运用 Spin 工具成功发现一个已知著名攻击。此通用方法适用于类似复杂协议形式化分析与验证。 相似文献
993.
994.
995.
嵌入式浏览器越来越成为嵌入式系统上最重要的系统软件,随着HTML5的发展,对嵌入式浏览器性能的要求越来越高.通过对WebKit嵌入式浏览器渲染流程的研究,提出一种针对WebKit的基于分片后备存储的WebKit嵌入式浏览器渲染优化算法.该方法使用分片的后备存储优化渲染、缓存页面的可见区域,将Web页面的渲染区域精确到小的区域上,减少了不必要的区域的重新绘制,对于计算资源有限的嵌入式设备,大大减少了Web页面渲染的时间.实验表明,该方法有效地提高了嵌入式浏览器的页面渲染速度,提升了用户体验. 相似文献
996.
997.
随着电子信息技术和计算机网络技术的发展,我国视频监控系统在技术水平和实际应用方面都取得了长足的进步,规模也日渐庞大。为了更好的应用于社会各领域,统一、通用成为各监控系统追求的目标。分析了现有视频监控系统中存在的互联互通的问题,仔细研究了非SIP域与SIP域的协议特点,提出了通用SIP网关的解决方案,从系统注册、目录获取、视频调阅等几个方面详细介绍了协议转换的步骤,以实现视频监控系统中非SIP域与SIP域的互通。 相似文献
998.
999.
基于稀疏表示的多特征融合害虫图像识别 总被引:4,自引:0,他引:4
为提高害虫图像识别的准确率,针对不同害虫具有不同的颜色、形状、纹理的特点,提出一种将颜色、形状、纹理特征与稀疏表示相融合的害虫识别方法.该方法利用已标注的训练样本构造不同特征下的训练样本矩阵,通过求解样本的最优稀疏系数以实现害虫图像识别.由于相同样本通过不同特征训练字典求解的稀疏系数不同,进而识别结果也不同.因此,文中进一步通过设计不同特征下的识别分类器实现多特征的融合.在实验室环境与农田环境下的实验结果表明,相较于其他方法,该方法的害虫识别率获得较大的提高. 相似文献
1000.